Reflexive digraphs with near unanimity polymorphisms
نویسندگان
چکیده
In this paper we prove that if a finite reflexive digraph admits Gumm operations, then it also admits a near unanimity operation. This is a generalization of similar results obtained earlier for posets and symmetric reflexive digraphs by the second author and his collaborators. In the special case of reflexive digraphs our new result confirms a conjecture of Valeriote that states that any finite relational structure of finite signature that admits Gumm operations also admits an edge operation. We also prove that every finite reflexive digraph that admits a near unanimity operation admits totally symmetric idempotent operations of all arities. Finally, the aforementioned results yield a polynomial-time algorithm to decide whether a finite reflexive digraph admits a near unanimity operation.
منابع مشابه
Graphs Admitting k-NU Operations. Part 2: The Irreflexive Case
We describe a generating set for the variety of simple graphs that admit a k-ary near-unanimity polymorphism. The result follows from an analysis of NU polymorphisms of strongly bipartite digraphs, i.e. whose vertices are either a source or a sink but not both. We show that the retraction problem for a strongly bipartite digraph H has finite duality if and only if H admits a near-unanimity poly...
متن کاملNear-Unanimity Functions and Varieties of Reflexive Graphs
Let H be a graph and k ≥ 3. A near-unanimity function of arity k is a mapping g from the k-tuples over V (H) to V (H) such that g(x1, x2, . . . , xk) is adjacent to g(x ′ 1, x ′ 2, . . . , x ′ k) whenever xix ′ i ∈ E(H) for each i = 1, 2, . . . , k, and g(x1, x2, . . . , xk) = a whenever at least k − 1 of the xi’s equal a. Feder and Vardi proved that, if a graph H admits a near-unanimity functi...
متن کاملSome Notes on Nuf Digraphs
For the moment, we outline how to characterise undirected, irreflexive graphs that admit a near-unanimity operation of arity at most k using the notion of dual of a tree; the same is done for reflexive graphs, and for directed bipartite graphs. We hope to complete this by showing that the generating sets for the varieties in question contain only chordal extensible graphs.
متن کاملA polynomial-time algorithm for near-unanimity graphs
We present a simple polynomial-time algorithm that recognises reflexive, symmetric graphs admitting a near-unanimity operation. Several other characterisations of these graphs are also presented. 2004 Elsevier Inc. All rights reserved.
متن کاملWeak near-unanimity functions and digraph homomorphism problems
For a fixed digraphH, the problem of deciding whether there exists a homomorphism from an input digraph G to H is known as the H-colouring problem. An algebraic approach to this problem was pioneered by Jeavons et. al. in the context of the more general constraint satisfaction problem. Results by Larose and Zádori and by Maróti and McKenzie allows one to interpret the algebraic approach in term...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Mathematics
دوره 312 شماره
صفحات -
تاریخ انتشار 2012